$(function () {
	var win = $(window);
	var content = $("#content");
	var pages_anv = content.find(".pages");
	var pages_content = content.find(".pages_content");
	var pages_anv_height = pages_anv.height();
	function set_pages_content_height(){
		var new_height = win.height()-pages_anv_height-5;
		pages_content.height(new_height)
	}
	win.on("resize",set_pages_content_height)
	set_pages_content_height();
})